vehicle-lang/vehicle

A toolkit for enforcing logical specifications on neural networks Vehicle Vehicle is a system for embedding logical specifications into neural networks. At its heart is the Vehicle specification language, a high-level, functional language for writing mathematically-precise specifications for your ne…

View Post on Scour ↗

More from GitHub on Scour.

Covers 3 stories including The Rocq Prover